A Labelling Framework for Probabilistic Argumentation

The combination of argumentation and probability paves the way to new accounts of qualitative and quantitative uncertainty, thereby offering new theoretical and applicative opportunities. Due to a variety of interests, probabilistic argumentation is approached in the literature with different frameworks, pertaining to structured and abstract argumentation, and with respect to diverse types of uncertainty, in particular the uncertainty on the credibility of the premises, the uncertainty about which arguments to consider, and the uncertainty on the acceptance status of arguments or statements. Towards a general framework for probabilistic argumentation, we investigate a labelling-oriented framework encompassing a basic setting for rule-based argumentation and its (semi-) abstract account, along with diverse types of uncertainty. Our framework provides a systematic treatment of various kinds of uncertainty and of their relationships and allows us to back or question assertions from the literature

Designing Human-Robot Collaboration for the Preparation of Personalized Medicines

Advancements in robotics and automation technologies have the potential to enable breakthrough innovations in a variety of industries, and the pharmaceutical sector is no exception. The preparation of galenic formulations, involving the compounding and dispensing of medications, when personalized medicines are needed, e.g., to overcome allergy problems, is a critical process in the field of small scale pharmaceutical manufacturing. Traditionally, this process has relied solely on human expertise of pharmacists and their manual labor, which can be time-consuming, prone to errors, and subject to variations in quality. To overcome these limitations, the use of collaborative robots is envisaged in our project. A collaborative robot can in fact work with the pharmacist synergistically, by improving accuracy and increasing productivity. However, the main challenge is providing the pharmacists with an interactive system that supports them in robot programming. In this paper, we analyze the problem from the users’ point of view and propose preliminary lowfidelity prototypes of an interactive system suitable to pharmacists’ needs and skills

Automata for infinite argumentation structures

The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this limitation, in this paper we propose a novel approach for describing infinite afs using tools from formal language theory. In particular, the possibly infinite set of arguments is specified through the language recognized by a deterministic finite automaton while a suitable formalism, called attack expression, is introduced to describe the relation of attack between arguments. The proposed approach is shown to satisfy some desirable properties which cannot be achieved through other “naive” uses of formal languages. In particular, the approach is shown to be expressive enough to capture (besides any arbitrary finite structure) a large variety of infinite afs including two major examples from previous literature and two sample cases from the domains of multi-agent negotiation and ambient intelligence. On the computational side, we show that several decision and construction problems which are known to be polynomial time solvable in finite afs are decidable in the context of the proposed formalism and we provide the relevant algorithms. Moreover we obtain additional results concerning the case of finitaryafs

Belief revision and computational argumentation: a critical comparison

This paper aims at comparing and relating belief revision and argumentation as approaches to model reasoning processes. Referring to some prominent literature references in both fields, we will discuss their (implicit or explicit) assumptions on the modeled processes and hence commonalities and differences in the forms of reason ing they are suitable to deal with. The intended contribution is on one hand assessing the (not fully explored yet) relationships between two lively research fields in the broad area of defeasible reasoning and on the other hand pointing out open issues and potential directions for future research.info:eu-repo/semantics/publishedVersio